#include<stdio.h>
void main()
{
	char ch1,ch2;

	ch1=getchar();

	ch2=getchar();

	putchar(ch1+32);

	putchar(ch2+32);

	printf("\n");

}